Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
141	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Abstract Such scenarios preclude direct use of source-based Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Decompiler Control flow graph Boomerang Compiler Static single assignment form Algorithm Data-flow analysis Control flow Compiler construction Software Computing
142	CS 243 Assignment 1 Solutions Assignment 1 Solutions Dataflow Analysis Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-01-29 01:13:11 Theoretical computer science Function Data-flow analysis Static single assignment form Mathematics Algorithm Mathematical logic
143	Lecture 2 Introduction to Data Flow Analysis I. Introduction Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-02-06 04:45:51 Live variable analysis Flow network Analysis Theoretical computer science Mathematics Ukrainian people Use-define chain Comorbidity Program analysis Reaching definition Data-flow analysis
144	Lecture 2 Introduction to Data Flow Analysis I Introduction Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:07 Compiler construction Compiler optimizations Program analysis Procedural programming languages Reaching definition Data-flow analysis Live variable analysis Compiler Flow network Programming language theory Software engineering Computing
145	Lecture 3 Foundation of Data Flow Analysis I II III IV Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-01-08 02:00:07 Algebraic structures Lattice theory Order theory Binary operations Semilattice Lattice Join and meet Partially ordered set Idempotence Mathematics Abstract algebra Algebra
146	Anisotropic Feature-Preserving Denoising of Height Fields and Bivariate Data Mathieu Desbrun† ‡ Mark Meyer† Peter Schr¨oder† Alan H. Barr† † Caltech - ‡ USC Add to Reading List Source URL: www.multires.caltech.edu Language: English - Date: 2006-06-13 11:25:44 Mathematics Noise reduction Total variation denoising Edge-preserving smoothing Differential geometry of surfaces Curvature Mean curvature flow Edge detection Smoothing Image processing Geometry Mathematical analysis
147	A Practical and Flexible Flow Analysis for Higher-Order Languages J. Michael Ashley University of Kansas, Lawrence, Kansas and R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1998-12-02 10:47:08 Greek alphabet Function Abstract interpretation Valuation Data-flow analysis Mathematics Algebraic geometry Circumflex
148	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz JongHyup Lee Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Decompiler Computing Control flow graph Data-flow analysis Algorithm Static single assignment form Control flow Compiler Graph Compiler construction Mathematics Software
149	Lecture 10 Pointer Analysis 1. Datalog 2. Context-insensitive, flow-insensitive pointer analysis 3. Context sensitivity Readings: Chapter 12 Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:49 Data types Procedural programming languages Compiler construction Pointer Datalog Compiler C Data-flow analysis Void type Software engineering Computing Computer programming
150	March March2006 2006 Improving System Reliability Using the Saber ® Simulator in a Robust Design Flow Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-29 17:15:40 Engineering statistics Failure Materials science Reliability engineering Survival analysis Sensitivity analysis Control theory Data analysis Synopsys Science Systems engineering Systems science

UPDATE